Skip to content

Rollup of PRs in the queue; Tuesday #22995

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 3 commits into from
Mar 3, 2015
Merged

Rollup of PRs in the queue; Tuesday #22995

merged 3 commits into from
Mar 3, 2015

Conversation

Manishearth
Copy link
Member

No description provided.

@Manishearth
Copy link
Member Author

@bors: p=20 r+

@bors
Copy link
Collaborator

bors commented Mar 3, 2015

@bors r=Manishearth be807ca

@bors
Copy link
Collaborator

bors commented Mar 3, 2015

🔒 Merge conflict

@bors
Copy link
Collaborator

bors commented Mar 3, 2015

☔ The latest upstream changes (presumably #22971) made this pull request unmergeable. Please resolve the merge conflicts.

@Manishearth
Copy link
Member Author

@bors: r+

@bors
Copy link
Collaborator

bors commented Mar 3, 2015

@bors r=Manishearth 4f1f5eb

@Manishearth
Copy link
Member Author

@bors: force

@bors
Copy link
Collaborator

bors commented Mar 3, 2015

⌛ Testing commit 4f1f5eb with merge 38e97b9...

bors added a commit that referenced this pull request Mar 3, 2015
@bors
Auto merge of #22995 - Manishearth:rollup, r=Manishearth
38e97b9
@bors
Copy link
Collaborator

bors commented Mar 3, 2015

☀️ Test successful - auto-linux-32-nopt-t, auto-linux-32-opt, auto-linux-64-nopt-t, auto-linux-64-opt, auto-linux-64-x-android-t, auto-mac-32-opt, auto-mac-64-nopt-t, auto-mac-64-opt, auto-win-32-nopt-t, auto-win-32-opt, auto-win-64-nopt-t, auto-win-64-opt

@bors bors merged commit 4f1f5eb into rust-lang:master Mar 3, 2015
This was referenced Mar 3, 2015
Closed
Merged
Merged
Merged
Closed
Merged
@Manishearth Manishearth deleted the rollup branch March 3, 2015 15:39
@Centril Centril added the rollup A PR which is a rollup label Oct 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
rollup A PR which is a rollup
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@Manishearth @bors @Centril @dcrewi